Fundraising September 15, 2024 – October 1, 2024 About fundraising
5

Specifying and verifying real-time systems with timing uncertainty

Year:
2000
Language:
english
File:
PDF, 262 KB
english, 2000
6

Specification-based program slicing and its applications

Year:
2001
Language:
english
File:
PDF, 341 KB
english, 2001
12

A semantics-based method for revalidating modified programs

Year:
1994
Language:
english
File:
PDF, 1.19 MB
english, 1994
29

A CER discounting scheme could save climate change regime after 2012

Year:
2007
Language:
english
File:
PDF, 97 KB
english, 2007